A Formal Description Of A Type Checking Algorithm.
نویسندگان
چکیده
منابع مشابه
A Formal Description Of A Type Checking Algorithm
In type system theory, a program variable can assume a range of values during the execution of a program. In a statically typed language, every expression of the language is assigned a type at compile time. There are many advantages to having a statically type-checked language including provision of earlier information on programming errors, documenting component interfaces, eliminating the nee...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Type Checking Choreography Description Language
The Web Services Choreography Description Language (WS-CDL) is a W3C specification developed for the description of peer-to-peer collaborations of participants from a global viewpoint. Currently WS-CDL has no rigorous static type checking. We believe that introducing a type system will exclude many design and description errors, and ensure desirable properties of the choreography specifications...
متن کاملA Partial Type Checking Algorithm for Type: Type
We analyze a partial type checking algorithm for the inconsistent domain-free pure type system Type:Type (λ∗). We show that the algorithm is sound and partially complete using a coinductive specification of algorithmic equality. This entails that the algorithm will only diverge due to the presence of diverging computations, in particular it will terminate for all typeable terms.
متن کاملFormal Description and Analysis of Malware Detection Algorithm MOM A
Code obfuscation can alter the syntactic properties of malware byte sequences without significantly affecting their execution behaviors. Thus it can easily foil signature-based detection. In this paper, the ability of handling obfuscation transformations of the semanticsbased malware detection algorithm MOM A proposed by Gao et al. is discussed using abstract interpretation theory from a semant...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2005
ISSN: 1660-1769
DOI: 10.5381/jot.2005.4.9.a2